Airport noise: A monitoring program and the first steps toward its solution
نویسندگان
چکیده
منابع مشابه
First Steps Toward Narrative
Marya Schechtman has argued that contemporary attempts to save Locke’s account of personal identity suffer the same faults that are to be found in Locke, among which is an inability to capture the role our unconscious states play. To avoid these problems, she advocates giving up the mainstream Psychological View and adopting a narrative account like her ‘SelfUnderstanding’ View that, she claims...
متن کاملFirst steps toward the geometry of cophylogeny
The diversity of species is related to the separation of gene pools over evolutionary time. In this process two or more lineages often stay closely associated with one another: genes with species and hosts with symbionts (parasites or mutualists). The concept of codivergence, the divergence of one lineage (species or gene) as a result of the divergence of another, has fascinated researchers for...
متن کاملFirst Steps with the Langlands Program∗
This article describes ways in which to get an overview of some of the goals and methods of Langlands program, and it points to treatments of some examples that are worth keeping in mind.
متن کاملInterface Compilation : Steps toward Compiling Program Interfaces
Interfaces | the collection of procedures and data structures that deene a library, a subsystem, a module | are syntactically poor programming languages. They have state (deened both by the interface's data structures and internally), operations on this state (deened by the interface's procedures), and semantics associated with these operations. Given a way to incorporate interface semantics in...
متن کاملSteps Toward Mechanizing Program Transformations Using PVS
PVS is a highly automated framework for speciication and veriication. We show how the language and deduction features of PVS can be used to formalize, mechanize , and apply some useful program transformation techniques. We examine two such examples in detail. The rst is a fusion theorem due to Bird where the composition of a catamorphism (a recursive operation on the structure of a datatype) an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of the Acoustical Society of America
سال: 1976
ISSN: 0001-4966
DOI: 10.1121/1.2003564